Nuprl Definition : lt_int 13,42
i <z j == if i<j then tt else ff 
latex

Upbool 1, bool 1
Wellformedness Lemmaslt int wf, lt int wf
Definitionsif a<b then c else d, tt, ff
FDL editor aliaseslt_int

origin